Como los tipos modulares son cíclicos formula_1 y formula_2.