theorem :: NAT_6:36

17 is Proth