나무위키에선 그냥 정수라하고 위키백과에선 양의 정수라하네 양의 정수일때 성립하면 그냥 정수여도 성립한다는게 자연스럽게 증명되는거임?