Teorematy - Porębski, Mieczysław (1990)