product of two characteristic functions