theorem :: XPRIMES2:6085

canceled;