PIV 2020 · 8507korolari/okorolari/o Z ∆ Aserto en matematika teorio, kiu relative facile sekvas el teoremo aŭ propozicio.