prove the cheats that follow from evaluate_i4_closed