~는 ~다 증명하면서 i 랑 y 발음 같으니까 철자 바꿔서 증명하는 거였는데 기억이 안나