theorem :: XPRIMES2:6486

canceled;