Premis: Kita bisa menggeser pattern agar awalan v tersebut sejajar dengan akhiran dari u.
Hipotesis: Awalan v sejajar dengan akhiran dari u jika kita tidak menggeser pattern.
Label: contradiction