Nominal Proof

26850