برای بررسی اتحاد داشتن یا نداشتن عبارت باید دو طرف معادله را بررسی کنیم:
عبارت سمت چپ معادله را داریم:
\[
(b + nd - 1) cd
\]
اگر این عبارت را بسط دهیم خواهیم داشت:
\[
bcd + ncd^2 - cd
\]
حالا عبارت سمت راست معادله را بررسی میکنیم:
\[
bcd + ncd^2 - cd
\]
میبینیم که دو طرف معادله برابر هستند. بنابراین، این یک اتحاد است.
