Theorems #25 — Deca