for I, J being good preProgram of SCM+FSA holds I +* J is good