rightker (RQForm f) = {(0. (VectQuot (W,(RKer f))))} by Def24;
then rightker (LQForm (RQForm f)) = {(0. (VectQuot (W,(RKer f))))} by Th44;
hence ( not LQForm (RQForm f) is degenerated-on-left & not LQForm (RQForm f) is degenerated-on-right ) ; :: thesis: verum