Lamy's Theorem