Describir: Theory of phase transitions rigorous results