대수 예제

참인지 판단하기 2((5+ 제곱근 57)/8)-1 = 제곱근 (5+ 제곱근 57)/8+3
단계 1
좌변 가 우변 와 같으므로, 주어진 명제는 항상 참입니다.
True