이쯤 되니 주석 없이는 이해가 안간다 ㅋㅋㅋㅋㅋ

중괄호 안에 들어간 일부 인자들은 생략해도 컴파일 되는데 그러면 사람이 이해를 못함


이제 증명 말고 딴거 하고 싶은데 뭐하지