Prove Property SMAC of Theorem VSPCV. Write your proof in the style of the proof of Property DSAC given in this section.