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