Решить вопрос по языку программирования pascal проверить тождество : 1+2+3+…+n=n*(n+1)/2.

// PascalABC.NET 3.3, сборка 1611 от 06.01.2018
// Внимание! Если программа не работает, обновите версию!
begin
var n:=ReadInteger();
write(range(1,n).Sum()=n*(n+1)/2);
end.