Prove master theorem case 1: T(n)=aT(n/b)+cn^k, a>b^k => T(n)=Theta(n^{log_b a})

Analyze the prove master theorem case 1: t(n)=at(n/b)+cn^k, a>b^k => t(n)=theta(n^{log_b a}).

Examples
Input: "proof_case_1"
Output: true
Hints

Prove master theorem case 1: T(n)=aT(n/b)+cn^k, a>b^k => T(n)=Theta(n^{log_b a})

Analyze the prove master theorem case 1: t(n)=at(n/b)+cn^k, a>b^k => t(n)=theta(n^{log_b a}).