theorem :: XPRIMES2:2592

canceled;