Prove simple iterative sum

you can manually substitute ```?Y``` by ```(X *Int (X +Int 1)) /Int 2```