theorem :: SFMASTR2:6

canceled;