leftker (LQForm f) = {(0. (VectQuot V,(LKer f)))} by Def24;
then leftker (RQForm (LQForm f)) = {(0. (VectQuot V,(LKer f)))} by Th46;
hence ( not RQForm (LQForm f) is degenerated-on-left & not RQForm (LQForm f) is degenerated-on-right ) by Def24; :: thesis: verum