"p" < "q" - அனைத்து மதிப்புகளுக்கும் பின்வரும் சமனின்மை உண்மை என நிறுவ வேண்டும்:

"p" எதிர்மம், "q" நேர்மமாக இருந்தால் இச்சமனின்மை ஏற்கனவே நிறுவப்பட்ட பின்வரும் சமனின்மைக்குச் சமானமானதாகும்:

"p" , "q" இரண்டும் நேர்மமாக இருக்கும்போது நிறுவல் பின்வருமாறு:

சார்பு f -ஐ பின்வருமாறு வரையறுத்துக் கொள்ளலாம்:

"f" அடுக்குச் சார்பானதால் அதற்கு இரண்டாம் வகைக்கெழு உண்டு:

"f" -ன் ஆட்களத்தில் இவ்வகையீட்டின் மதிப்பு எப்பொழுதும் நேர்மமாகவே இருக்கும். மேலும் "q" > "p" என்பதால் "f" குவிச் சார்பாக இருக்கும்.

எனவே ஜென்சன் சமனின்மையின்படி:

இருபுறமும் 1/"q" அடுக்குக்கு உயர்த்த:

முன்பு நிறுவிய அடுக்குச் சராசரிகளின் சமானத்தன்மையைப் பயன்படுத்தி, "p" , "q" -க்குப் பதிலாக முறையே −"q" and −"p", பிரதியிட்டு இச்சமனின்மையை "p" , "q" இரண்டும் எதிர்மமாக இருக்கும்போதும் உண்மை என்பதை நிறுவலாம்.

எதிர்க்குறி அடுக்கு கொண்ட சராசரிகளின் சமனின்மைகளின் சமானத்தன்மை
வரையறை
இரு அடுக்குச் சராசரிகளுக்கிடயேயான சமனின்மை
சமனின்மை