Merge pull request #1 from sapal/master

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