Tételek ahol a kulcsszó "bizonyítás szabályai" és a mű dátum "2009"