theorem :: XPRIMES2:2404

canceled;