theorem
  P is complete iff P2M(P) is complete by MEASURE3:def 1;
