len (Cage C,n) > 2 by GOBOARD7:36, XXREAL_0:2;
hence Cage C,n is weakly-one-to-one by Th7; :: thesis: verum