added proof of description of duality in KVect