Petunjuk G.14.1.

Butir sebelumnya telah memverifikasi bahwa \(B(f(a),\epsilon)\) memenuhi premis hipotesis.
in-context