Delete 19_def is_decreasing.py