@andrejcibik: There is no proof