theorem :: CONLAT_2:17

for C being strict FormalContext holds (C .:) .: = C ;