theorem :: SFMASTR1:2

canceled;