theorem :: XPRIMES2:4700

canceled;