theorem :: XPRIMES2:6868

canceled;