  We give a short and insightful proof of Gerry Leversha's elegant theorem
regarding the isogonal conjugates of each of the vertices of a non-cyclic
quadrilateral with respect to the triangle formed by the other three. It uses
the Maple package RENE.txt, available from .
http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE.txt
