thus the_Values_of SCM is non-empty ; :: according to MEMSTR_0:def 3 :: thesis: verum