theorem :: XPRIMES2:1824

canceled;