[p,q] is Element of [^P,Q^] ;
hence [^,^] is Element of [^P,Q^] ; :: thesis: verum