theorem :: XPRIMES2:878

canceled;