theorem :: XPRIMES2:5232

canceled;