theorem :: SFMASTR3:8

canceled;