es un teorema (donde "x","y","z"...