12In [Cay76, II] sind einige der Beweiswege enthalten.

@