mathematical proof for hoeflation - /sci/ - Xchan