theorem :: XPRIMES2:6570

canceled;