theorem backlog_grows_when_arrivals_exceed_service._proof_1
theorem backlog_grows_when_arrivals_exceed_service._proof_1: ∀ (backlog arrivals service : Int), service < arrivals → ¬backlog < backlog + arrivals - service → False
theorem backlog_grows_when_arrivals_exceed_service._proof_1
theorem backlog_grows_when_arrivals_exceed_service._proof_1: ∀ (backlog arrivals service : Int), service < arrivals → ¬backlog < backlog + arrivals - service → False