Quad Int — norm eq zero iff