démontrable (démontrer + -able; capable_passive)
Qui peut être démontré