Final commit prolem1.py