Dimostro che per ogni X, length X è dispari.

Caso aXa:
  per ipotesi induttiva length X è dispari
  length (aXa) = 2 + length X
  quindi 2 + length X è dispari

Caso epsilon:
  length epsilon = 0
  ma 0 non è dispari
  BOOM