reconsider L = {} as Sequence ;
take L ; :: thesis: L is Z -valued
thus rng L c= Z ; :: according to RELAT_1:def 19 :: thesis: verum