Category:Inequality of Natural Numbers is Provable