만일 어떤 압축 함수가 역상 저항성과 충돌 저항성을 갖추었다면, 그 압축 함수를 사용한 M 구성은 역상 저항성과 충돌 저항성을 갖춘다.
If a compression function is preimage and collision resistant, a M construction that uses that compression function will be preimage and collision resistant.