Check postcondition

Translation check postcondition into russian

It's important to check postconditions to ensure the program behaves correctly.

Важно проверять постусловия, чтобы убедиться, что программа ведет себя правильно.