theorem :: XPRIMES2:1041

canceled;