theorem :: NAT_6:42

641 is prime