thus the charact of UAStr(# the carrier of A, the charact of A #) is homogeneous ; :: according to UNIALG_1:def 1 :: thesis: verum