search `proof?direct' in `Apte Dic'

no match