이는 디바이너와 베아트리체가 증명