Infinite distributive law

Summary