lames theorem