2nd Isomorphism Theorem의 제약 완화 버전이라고 생각하면 됨