Description: Multiplication of both sides of 'less than' by a positive number. Theorem I.19 of Apostol p. 20. (Contributed by NM, 16-May-1999) (Proof shortened by Paul Chapman, 25-Jan-2008)