theorem :: XPRIMES2:6872

canceled;