Proof of localisation properties of Harris corners
It is known from the previous literature that a Harris corner is detected inside the real corner and on the bisector line of the corner angle at L-junction. Since a mathematical proof of the property has not been provided in the literature, and therefore one is presented in this Letter.