theorem :: XPRIMES2:1108

canceled;