Prove that m-reducibility is reflexive and transitive, but not symmetric or anti-symmetric, i.e., prove the following theorem:

a) Theorem. L [L m L].