( rng <*0 *> = {0 } & rng <*1*> = {1} ) by FINSEQ_1:55;
hence ( not 0 in rng <*1*> & 0 in rng <*0 *> ) by TARSKI:def 1; :: thesis: verum