theorem :: XPRIMES2:231

canceled;