Full iff H¹ = 0 · Prove2Me