theorem :: XPRIMES2:6457

canceled;