theorem :: XPRIMES2:2604

canceled;