Prove of overunity (free energy)