A tensor-free comparison used in the finite certificate

This is the locally proved version of Cheung's En05-C :comparison CheungEn05C. The quantitative identity (eq:quantitativesnapshot) also shows that a norm approximation to local containment gives a corresponding bounded-observable approximation to snapshot determination.