theorem :: XPRIMES2:1175

canceled;