그것을 하리파, 베르테, 엘프가 증명