Damit das möglich sei || ist, muß zwischen Beweis & Satz eine eindeutige symbolische Entsprechung bestehen.