Przykłady użycia paczki do drzew dowodu w texu