Проверяем тождество для сумм арифметической прогрессии

Проверяем простенькое свойство сумм арифметической прогрессии.