theorem :: SFMASTR2:4

canceled;