take Stop SCM+FSA ; :: thesis: ( Stop SCM+FSA is parahalting & Stop SCM+FSA is good )
thus ( Stop SCM+FSA is parahalting & Stop SCM+FSA is good ) by Def5, Lm8, Th28; :: thesis: verum