theorem :: XPRIMES2:3087

canceled;