Математические доказательства: коммутативность объединения множеств