theorem :: XPRIMES2:1195

canceled;