public static void iterate()
{
var n11 = Nat.next(N10);
var n12 = Nat.next(n11);
var n13 = Nat.next(n12);
var n14 = Nat.next(n13);
var n15 = Nat.next(n14);
var n16 = Nat.next(n15);
var n17 = Nat.next(n16);
var n18 = Nat.next(n17);
var n19 = Nat.next(n18);
Claim.eq(n19.value, 19);
}
public static void next()
{
NatProve.next(N0, N1);
NatProve.next(N5, N6);
NatProve.next(N15, N16);
var n11 = Nat.next(N10);
var n12 = Nat.next(n11);
var n13 = Nat.next(n12);
NatProve.next(N10, n11);
NatProve.next(n11, n12);
NatProve.next(n12, n13);
}
