How can it be proved that the rain is heavy without lightning?