theorem :: XPRIMES2:1107

canceled;