THEOREMS FOR THE GI/G/1 QUEUE