====== Korollarium ======