Discharging method (discrete mathematics)
 
x
OK