theorem :: XPRIMES2:2232

canceled;