theorem :: NAT_6:38

11777 is Proth