Icon
 

Eliminaci 243 n e introducci 243 n del cuantificador universal