Typo: prop-trunc

The statement which is given does not hold in general. I have changed it to something which at least hold, but I can't know what was supposed to stand there.