Given a function of a function which may or may not be extensional, we can always derive from it a connected and certainly extensional function of the same function, by the following plan: Let our original function of a function be one which attributes to
the property
; then consider the assertion "there is a function having the property
and formally equivalent to
." This is an extensional function of