The length of the rope is 13 m, out of which 9 m of the rope is used for fixing
a banner . Find the length of the remaining rope.