# Ejercicio 03.1

En primer lugar introducimos la hipótesis x<=y 

assume (x<=y);

Ahora la condición a<0

assume (a<0);

Finalmente verificamos si la condición pedida es cierta

is (x*a>=y*a);