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