theorem :: XPRIMES2:4667

canceled;