ByNobleID
    From Homma's theorem to Pick's theorem | NobleID