reserve R for commutative Ring;
reserve A for non degenerated commutative Ring;
reserve I,J,q for Ideal of A;
reserve p for prime Ideal of A;
reserve M,M1,M2 for Ideal of A/q;

theorem Th24:
    (canHom q).:(canHom q)"M1 = M1
    proof
      rng (canHom q) = (the carrier of A/q) by FUNCT_2:def 3;
      hence thesis by FUNCT_1:77;
    end;
