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