local formally toric
Theorem 2. Let x ∈ (X, B) be a log canonical singularity. Writing B = ∑︁ n i=1 biBi where the Bi are distinct prime divisors, then ∑︂n i=1 bi ≤ dim X + ρ(Xx). If equality holds, then (X, ⌊B⌋) is a formally toric pair at x.
Theorem 2. Let x ∈ (X, B) be a log canonical singularity. Writing B = ∑︁ n i=1 biBi where the Bi are distinct prime divisors, then ∑︂n i=1 bi ≤ dim X + ρ(Xx). If equality holds, then (X, ⌊B⌋) is a formally toric pair at x.