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