A complete finite correction test

This is a finite linear-algebra theorem. It does not select a physical counterterm class that has not been supplied. It does not classify every characteristic prescription or define an absent product. Cheung's Landmark II makes the analogous distinction between a finite evaluated fit and a global functional identity CheungII.