Solutions

. Prove the following: |';z:] = Lrj x: real. . Prove the following: LMJ = [:13 ~ 1] x: real. 2 . Prove the following: ii = [Mm1] m, n: int and m > 0. m . Prove the following: L3] = [\"31\" m, n: int and m :> 0. . Prove the following: L%j = L I j x: real. m, n: int and m, n > U. nXm