theorem :: XPRIMES2:5301

canceled;