2 reducibility: 환원성