設盒子A中的鎖的編號是i，i=1,2,...,n，盒子B中的錢包的編號是j，j=1,2,...,m。

S的逆命題是：
條件：
當B中的一把鑰匙能打開B中的一把鎖時，有
結果：
1】盒子B中的錢包j（1< j <= m）中肯定有一把鑰匙；
2】j>i，其中i是盒子A中鎖的編號，1<= i <= n。