Dowód, że "TDW => S, K" i "TDN => S, K, N". Poprawione prawo Pierce'a.