theorem :: XPRIMES2:24

canceled;