>>393
3段論法を用いた証明には必ず3段論法を用いない別証明があることを示せ