임의의 자연수 x에 대해

 라고 하였을 때