theorem :: XPRIMES2:6576

canceled;