Fullt bewisande ha ärt-törnetsmänga