the line "yr" is normal to the curve and the envelope of such normals is its evolute. therefore, "yr" is tangent to the evolute and the point "y" is the foot of the perpendicular from "p" to this tangent, in other words "y" is on the pedal of the evolute. it follows that the contrapedal of a curve is the pedal of its evolute.