set CS = AP:CompSeq EL,source;
(AP:CompSeq EL,source) .Result() = (AP:CompSeq EL,source) . ((AP:CompSeq EL,source) .Lifespan() ) ;
hence (AP:CompSeq EL,source) .Result() is AP:VLabeling of EL ; :: thesis: verum