theorem :: XPRIMES2:6505

canceled;