"M" tiene un único axioma: "aa"