theorem :: XPRIMES2:6232

canceled;