Finally proved star_power