El test por lo general se demuestra en su forma contrapositiva: