theorem :: XPRIMES2:681

canceled;