theorem :: XPRIMES2:6584

canceled;