B3 Demuestra o refuta la siguiente afirmación: Si $F$ es un conjunto finito con dos o más elementos, entonces existe una operación binaria $*$ en $F$ tal que para todos $x,y,z$ en $F$, $(\text{i})$ $x*z=y*z$ implica $x=y$ $(\text{ii})$ $x*(y*z)\ne(x*y)*z$