thus f . d is Element of F ; :: thesis: