Proving naToch with the new definition of (Lambda Calculus)
New Definitions.