유형 해결의 법칙