theorem :: XPRIMES2:6489

canceled;