theorem :: XPRIMES2:1172

canceled;