rt，两个数的积的二进制形式中 1 的个数是否总不少于这两个数的 1 的个数的 $\max$ ？

求证明。