theorem :: XPRIMES2:2352

canceled;