Hur kommer man fram till Gibbs regel om frihetsgrader?

Halloj!

Under vår föreläsning i termodynamik idag diskuterade vi kort begreppet frihetsgrader och vår föreläsare presenterade formeln $F=C-P+2$, där $F$ beteckner antalet frihetsgrader systemet har, $C$ betecknar systemets komponenter (närvarande species?) och $P$ betecknar antalet faser som finns i systemet. 

Tydligen är det så att man med hjälp av $F$ vet hur många tillståndsstorheter man måste känna för att kunna bestämma alla andra tillståndsstorheter. Detta kan vi använda för att förenkla problem, exempelvis genom att reducera ett beroende av intern energi till tryck och temperatur istället för ett beroende av tryck, temperatur, volym, entropi etc.

Min fråga är nu hur man vet detta och hur man kommer fram till denna formel. Det presenterades lite som Guds gåva till människan utan vidare motivering och jag skulle gärna vilja förstå vad detta kommer ifrån.