Donde formula_10 significa "formula_4 es afeitado por formula_12".