SimpleScp: evalNT∘normNCmp finished.
The present proof is disgusting. Big size, little intelligence... :-)