set A = T --> 0;
rng (T --> 0) = {0} by FUNCOP_1:8;
then 0 in rng (T --> 0) by TARSKI:def 1;
then T --> 0 is Polish-arity-like ;
then reconsider A = T --> 0 as Polish-arity-function of T by Th1;
take A ; :: thesis: A is empty-yielding
thus A is empty-yielding by FUNCOP_1:7; :: thesis: verum