Satz von Proth