すべての定理を予想・証明したのは偉大なる将軍様ということになっている