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