Suponemos válidas para R la asociatividad y la conmutatividad de la suma y la multiplicación.