theorem Lem17449: :: XPRIMES3:3

17449 is prime