Suppose M2 = M1 and M1 is complete.
令 M2 = M1，且 M1 是完備的。