theorem :: XPRIMES2:1162

canceled;