let A be array; :: thesis: ( A = {[a,x]} implies A is real-valued )
assume A = {[a,x]} ; :: thesis: A is real-valued
then rng A = {x} by FUNCT_5:12;
then rng A c= REAL by MEMBERED:3;
hence A is real-valued ; :: thesis: verum