9.4 power theorem