Написать структурированную программу и доказать ее правильность по определению семантики структурированных программ. Проверить, можно ли в пятеричную запись числа х вставить цифру 4 так, чтобы оно стало степенью двойки. Использовать s - прибавление 1, <, +, -, *, : - целочисленное деление, % - остаток от деления.