>and it's provable mathematically