theorem :: XPRIMES2:1122

canceled;