.
cocomp qeds