Exercise MO.T17 Robert Beezer

Prove Property SMAM of Theorem VSPM. Write your proof in the style of the proof of Property DSAM given in this section.