Proof that Thurston norm is a semi norm
finished previous proof