여태까지 predicate caculus만 이용해서 증명만 하려고하니 빡돌았는데 

성철 스님의 산은 산이요 물은 물이로다를 수학적으로 응용하니 존나 간단한 논박이었다.