Category:Pointwise Product of Simple Functions is Simple Function