- Напишите спецификацию функции, которая принимает на вход 3 числа типа long long и возвращает истину тогда и только тогда, когда они являются последовательными членами некоторой арифметической прогрессии в порядке их следования в списке аргументов. (Постарайтесь написать спецификацию как можно ближе к требованиям)
- Напишите реализацию этой функции.
- Докажите правильность реализации.