Wytłumaczy ktoś skąd mamy wiedzieć ze przy wzorach sumarycznych jest dana właściwość?