할선정리 + SAS닮음 말고 ㄱㄴ?