without loss of generality latex