  We have identified some necessary conditions for the existence of rigid
sphere designs. In particular, we have successfully resolved the conjecture
proposed by [Ban87]; Given fixed positive integers t and d, we show that there
exist only finitely many rigid t-designs on Sd, up to orthogonal
transformations.
