(278) Szkółka: Podział na twierdzenie i przeczenie

1. Twierdzenie (sgrub pa)

2. Przeczenie (dgag pa)

To należy do podziału przez dwojakie zestawy.