Redirecting to Discharging method (discrete mathematics)