Теоремы - это весело, особенно когда вы являетесь поверцией, но тогда удовольствие исчезает. То, что нас заставляет идти, это нерешенные проблемы.