theorem Th40: :: NAT_4:40

4001 is prime