Guilbaud's Theorem: An early contribution to judgment aggregation