Xxxxxx věta
Pokud xxxxx x xxxxxx xxxx, xxxxx byl jednomu x xxxxxxx xxxxxxxx xxxx xxx xxxxxx xxxxxx pro xxxxxxxxx xxxxxxxxxx xxxxxxxxxx, nemohlo xxx x bytu xxxxxxxxx výměnou (který xx xxxxx xxxx xxxxxx) za xxxxxx xxx xxxxxxxxx xxxxxxxx xxxxx xxxxxxxxxx xxxxxxx xxxx.