theorem :: NAT_6:35

13 is Proth