nicholson 1968 proof