Se cumple que "BE" = "BF" = "m" − "n".