es49



         Zeta,n |- e1 -> v1,Zeta'  Zeta',n |- e2 -> v2,Zeta''
      ----------------------------------------------------------
                   Zeta,n |- (catettu e1 e2) -> #t,Zeta''