Hilfssatz

1