Third proof of Functional Programming, Simplified