•	فرض کنید <FIELD> یک فضای ملموس باشد. ثابت ساز هر<FIELD> مونوئید است.
اثبات: فرض کنید
<FIELD> 
در این صورت با توجه به مونوئید بودن <FIELD>،
<FIELD> 
و
 
پس