korolari.o — Ko­rol­la­ri­um, Ko­rol­lar (Satz, der aus einem bewiesenen Satz folgt) {Mathematik}