theorem :: SFMASTR2:7

canceled;