[12J] Prerequisites:[124]βΊβ».
Show that the expansion enjoys the distributive property with respect to union:
[12K]βΊβ»