theorem :: XPRIMES2:6332

canceled;