problema 20 (creo que final)

problema eliminarEtiquetaDeTema(t:Tema, e:Etiqueta, s:SA) {
requiere (¥ h <- temas (pre(s)), h != t)
¬ ( ( nombre (h) == nombre (t) ) y (mismos (etiquetas (h) , Resta ( etiquetas (t), [e]) ) )


Modifica s
Asegura (existe h  temas (pre(s)) h ==t y en (e, etiquetas(t)) 
(existe h  temas (s), TemasIguales(h,t) ) ( ( nombre (h) == nombre (t) ) y (mismos (etiquetas (h) , Resta ( etiquetas (t), [e]) ) )

Asegura (¥ h <- temas(pre(s)) h!=t o ¬(en (e,etiquetas(t))) -->
(mismos (s,pre(s)))

Asegura (¥ h <- temas(pre(s)), h!=t) ,en(h, temas(s))
Asegura |temas(s)| == |temas(pre(s))|

Asegura If (¥ h  temas(s) ) ¬ en(e,etiquetas(h)) Then
Etiquetas(s) == Resta( etiquetas(pre(s)), [e]) Else
Etiquetas(s) == Etiquetas (pre(s))