Then if P(m) terminates, so does G(m).
於是，如果 P(m) 終止，則 G(m) 也如此。