theorem :: LATSUBGR:21

for G being Group
for h being Element of Subgroups G
for F being non empty Subset of (Subgroups G) st F = {h} holds
meet F = h