theorem :: XPRIMES2:1823

canceled;