take the paraclosed Program of SCM+FSA ; :: thesis: the paraclosed Program of SCM+FSA is InitClosed
thus the paraclosed Program of SCM+FSA is InitClosed ; :: thesis: verum