proof for z12 (in polish)