Proofgold Proof

pf
Apply unknownprop_b1cbd49965c5cf09bf2752439c1e5c9e5fec2e21bac8c32a5ed180b4cfbebead with λ x0 x1 . nat_p x0. Apply add_nat_p with 11, 12 leaving 2 subgoals. The subproof is completed by applying nat_11. The subproof is completed by applying nat_12. ■