Katona's union theorem