Existence020.py
exercise 023