તે તારણ આપે છે કે ભલે કન્વર્ઝ અને વ્યસ્ત મૂળ તાર્કિક રીતે મૂળ શરતી વિધાનની સમકક્ષ ન હોય, તો તે તાર્કિક રીતે એકબીજાના સમકક્ષ હોય છે.