theorem :: SFMASTR2:5

canceled;