i've never really done a proof by induction but i would like to prove a statement about commutator relations so can you please check my proof:
claim: [A,B^n]=nB^{n-1}[A,B] if [A,B]=k\cdot I where A,B are operators, I is the identity and k is any scalar.
proof: [A,B^2] = [A,B]B+B[A,B] =...