Slideshow:
We have seen this previously:
This identity is true because of the definition of the join (⋈) operator: