Sono conseguenze dirette di un teorema