A structure result for bricks in Heisenberg groups

We show that for a sufficiently big brick B of the (2n+1)-dimensional Heisenberg group Hn over the finite field Fp, the product set B⋅B contains at least |B|/p many cosets of some non-trivial subgroup of Hn.