theorem :: XPRIMES2:1194

canceled;