theorem :: XPRIMES2:8934

canceled;