This property simply states that if ab=0 , then either a=0 or b=0 (or both)
Examples: Structure:
4 x d0 = 1 d0=1
20=1