  Sommerfeld called the first part of the second law to be the entropy axiom,
which is about the existence of the state function entropy. It was usually
thought that the second part of the second law, which is about the
non-decreasing nature of entropy of thermally isolated systems, did not follow
from the first part. In this note, we point out the surprise that the first
part in fact implies the second part.
