theorem :: XPRIMES2:6402

canceled;