Parciales

al probar el paso base quedaria de la siguiente forma no?

v (c =´ swap(c) ) = (por def de swap) 
v ( c =´ c )  = 1
porque por def de valuacion y se da que  c^M = c^M = 1

Entiendase v como v^M
y ta no?