Wiemy, że :

- ilość wszystkich gwiazdek

 wszystkich gwiazdek to gwiazdki duże

 małych gwiazdek miało kolor czerwony

Mamy powiedzieć ile małych czerwonych gwiazdek użyto do wykonania dekoracji. 

Obliczm