theorem Th10: :: SCMFSA_M:10

intloc 0 in dom (Initialize ((intloc 0) .--> 1))