با تعریف دو اشاره گر P , q و بعد از تخصیص مکانی برای p اگر از دستور p=q استفاده کنیم یعنی q به هرجا اشاره می کند p هم به آنجا اشاره کند و محل قبلی p رها می شه و یک زباله ایجاد میشه.

حالا عکس قضیه:
با تعریف دو اشاره گر P , q و بعد از تخصیص مکانی برای p اگر از دستور q=p استفاده کنیم یعنی هر جا که p به آنجا اشاره می کند q هم به آنجا اشاره کند و بعد از آن از دستور free(p )استفاده کنیم باعث از بین رفتن کل P شده و q به یه جایی اشاره می کنه.