theorem :: XPRIMES2:5320

canceled;