add master theorem