No FAQ available that match "theorem implicit"