可逆エンジンはすべて同じ効率を持つことの証明