Független és lefogó ponthalmaz, Gallai első tétele