Мы доказываем при помощи логики, — говорил математик Анри Пуанкаре. — Мы открываем при помощи интуиции