theorem :: XPRIMES2:2407

canceled;