Der Beweis hängt stark davon ab wie die natürlichen Zahlen definiert wurden (vermutlich Peano-Axiome) und welche Sätze bereits bewiesen wurden. Wahrscheinlich läuft es auf eine Induktion nach n für festes m und dann eine Ind. nach m (oder umgekehrt) raus.