Mathematically proven