P r 0 f v cr