Description: The pointwise product of two simple functions is a simple function. (Contributed by Mario Carneiro, 5-Sep-2014)