Math distributive prop

13 years ago