translate English to French: The evidence of the existence of such central constraints can and often is contained within high-level documentation.
Une telle preuve est souvent sous forme indirecte.