A proof of "auxiliary out" concept.