Create erdos.py