Intervals — Theorem — dig