line_homography (1. (F_Real,3)) in EnsLineHomography3 ;
hence not EnsLineHomography3 is empty ; :: thesis: verum