아이리스이며 이는 짧게한다 한 스페이스시간으로 증명할 수 있다.