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