theorem :: XPRIMES2:6024

canceled;