[e,f,g] in [: the carrier of E, the carrier of F, the carrier of G:] ;
hence [e,f,g] is Element of [:E,F,G:] ; :: thesis: verum