정수는 안된다는 정리 있음?