theorem :: XPRIMES2:4931

canceled;