Eirlert proves