shminux comments on Egan’s Theorem?