# Exercici 03-1-1

En primer lloc introduim la hipòtesi x<=y 

assume (x<=y);

Ara la condicio a<0

assume (a<0);

Finalment verifiquem si la condició demanada és certa

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