On Holant theorem and its proof | IEEE Conference Publication | IEEE Xplore