Sea formula_146 (enteros modulo 6) y sean formula_147 formula_148