theorem :: XPRIMES2:3096

canceled;