theorem Th77: :: AOFA_A01:77

for S being non empty non void 1-1-connectives bool-correct 4,1 integer 11,1,1 -array 11 array-correct BoolSignature
for I being integer SortSymbol of S
for o being OperSymbol of S st o = In (( the connectives of S . 13), the carrier' of S) holds
( the_arity_of o = <*(the_array_sort_of S)*> & the_result_sort_of o = I )