定理 高木は素人である
証明 彼の論文を読めば明らかである