theorem :: XPRIMES2:4767

canceled;