S'apprêter à coucher avec une femme sans lui dire qu'on est «puceau», c'est du viol?

Pour ce qui connaissent pas le théorème de la clé et de la serrure :
1/ Une clé qui a ouvert au minimum une serrure est une bonne clé.
2/ Une serrure qui s'est fait ouverte par plusieurs clés est une mauvaise serrure.
https://image.noelshack.com/fichiers/2021/23/5/1623422583-ahiaffaire.png
Ce qui implique mathématiquement que la contraposée de ce théorème est aussi vraie :
1/ Une clé qui n'a jamais ouvert de serrures est une mauvaise clé.
2/ Une serrure qui ne s'est jamais faire ouverte par une clé est une bonne serrure.
https://image.noelshack.com/fichiers/2021/23/5/1623422583-ahiaffaire.png

Et il y a un lemme ajouté à ce théorème : une serrure qui s'est faite ouverte par une et une seule clé, est une serrure fonctionnelle et acceptablehttps://image.noelshack.com/fichiers/2021/23/5/1623422583-ahiaffaire.png
Merci de prouver ce théorème l'op, ton expérience a été utilehttps://image.noelshack.com/fichiers/2021/23/5/1623422583-ahiaffaire.png