bug correction in proving principles of function
bug correction in proving inversion principles for Function