@andrejcibik: Presented proof