Prove forall extensionality