= (sExp2pExp) mapPE f (Pred (\x -> False)) = (mapPE) Pred (const false.f) = (trivial por const) Pred (const false)
sExp2pExp (mapSE (inversa f) Empty)
= (mapSE) sExp2pExp Empty = (sExp2pExp) Pred (const false)
2)caso base s= Unit x
mapPE f (sExp2pExp (Unit x))
= (sExp2pExp) mapPE f (Pred (x==)) = (mapPE) Pred ((x==) . f)
sExp2pExp (mapSE (inversa f) (Unit x))
= (mapSE) sExp2pExp (Unit (inversa f x)) = (sExp2pExp) Pred (inversa f x ==) = (por conmutatividad del ==) Pred (== inversa f x) = (por lema del parcial) Pred ((x==) . f)