Page "Local form of the work theorem" not found :(