english: They are instead the products of downstream imagination leading to hard work, during which mathematical reasoning may or may not prove to be relevant.
non_english: Натомість вони є результатом руху "знизу вгору", коли уява напружено працює, і в процесі цієї роботи математичне доведення може знадобитись, а може й ні.