Thomas_theorem