[Alemateorema] Garigari 23 (Polish) 12 / 16