A rigorous proof of the Alkemade theorem

The Alkemade theorem avers that if primary crystallization areas of two stoichiometric phases have a common boundary, then along this boundary temperature is maximal at the point where it is crossed by a straight line connecting the composition points of these phases. The proof of the theorem presented in this work is rigorous in that sense that it does not invoke a graphical argumentation.