고려대학교에는 도서관(이/가) 있다