Beweis des ersten Theorems hinzugefügt.
Zweites Theorem gelöscht.

Es scheint sich nur um eine (falsch ?) umformulierte Version des zweiten Theorems zu handeln.