The capacity is formally proved simply by rigid certification. –