En la notació actual la proposició representa

x (y1 +  y2 + y3 )= x y1 + x y2 + x y3.

http://www.sunsite.ubc.ca/DigitalMathArchive/Euclid/