Python Assign Variable In Lambda Calculus Division Rule