[Alemateorema] Garigari 23 (Polish) 7 / 16