P
Initializing...
Karatsuba’s recursive body implements the induction step · Prove2Me