P
Initializing...
Conjecture 2: $H_a(2)=1$ · Prove2Me