...gefunden
1988 hat ein Japaner mit einigen neuen Beweismethoden doch einen nicht-trivialen Beweis f"ur diesen Satz gefunden.
Roman Franz
Mon Oct 2 14:34:15 MET 1995