일단 자연수, 정수, 유리수는 사칙연산에 대하여 닫혀있다는 건 그냥 전제로 깔았읆ㅁ 인생에서 sin75도=(√6+√2/4)증명 이후로 처음해보는 증명이라 난잡한건 어쩔 수 없는덧

그리고 뒤로갈수록 마찬가지를 좀 남발하는것 같긴한데..