이는 프롬갤과 아카라1이브로 증명할 수 있다