theorem :: XPRIMES2:4827

canceled;