How To Show Decursive Definition