theorem :: XPRIMES2:3406

canceled;