Statistical mechanics needs to assume the existence of atoms to give you the results of Carnot's. Carnot's thermodynamics does not. That makes it a bit less str

Statistical mechanics needs to assume the existence of atoms to give you the results of Carnot's. Carnot's thermodynamics does not. That makes it a bit less straightforward to say one strictly follows from the other. Otherwise the gist of what you say seems reasonable.