a) trest vykonán,