Na notación actual a proposición representa
x (y1 + y2 + y3 )= x y1 + x y2 + x y3.
http://www.sunsite.ubc.ca/DigitalMathArchive/Euclid/