corollarium
– szükségszerű következmény