三段論法を用いる任意の数学の証明は、三段論法を用いない別証明を持つことを示せ