theorem :: NAT_6:39

13313 is Proth