시리우스(은/는) 큰개자리의 별(이)라고 정의될 수 있다