przeznaczeni_prop6[proof]