theorem :: XPRIMES2:6506

canceled;