$( <MM> <PROOF ASST> THEOREM=