$(30$ points$)$ Let xsube${}^{+}$be a $-k$ code for some $k1$ and let $$ be a morphic or an antimorphic involution

on $.$ Prove that:

$($a$)(x)$ is a $-$infix code

$($b$)(x)$ is a $-$subword$-k$ code.