euclidtheorem‘s Following are private.