theorem :: XPRIMES2:6555

canceled;