theorem :: SFMASTR3:1

canceled;