first multiplier theorem