theorem :: XPRIMES2:5865

canceled;