Induction
More Examples on General Induction
Example 1 --- REV(xy) = REV(y)REV(x)
Example 2 --- REV(REV(x)) = x
Example 3 --- No )( in strings of AE
Example 4 --- s = c + 1 for propositions