Constant factor rule in integration