theorem :: XPRIMES2:4234

canceled;