demonstrated
equivalents
incontestable
incontestible