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

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