Todo grupo abeliano de orden 30 es isomorfo a formula_14.