theorem :: XPRIMES2:6865

canceled;