  Suppose that for some unit vectors $b_1,\ldots b_n$ in $\mathbb C^d$ we have
that for any $j\neq k$ $b_j$ is either orthogonal to $b_k$ or $|\langle
b_j,b_k\rangle|^2 = 1/d$ (i.e. $b_j$ and $b_k$ are unbiased). We prove that if
$n=d(d+1)$, then these vectors necessarily form a complete system of mutually
unbiased bases, that is, they can be arranged into $d+1$ orthonormal bases, all
being mutually unbiased with respect to each other.
