반동분자 정리는 무반동포