sentence1: for ordinary gauss diagrams , this observation prompted kauffman to introduce the theory of virtual knots .
sentence2: kauffman showed that the correspondence between gauss diagrams and virtual knots is a bijection .