sentence1: instead of using -nets and mapping to s s , we could have also used spherical t-designs , the existence of which was proved in .
sentence2: instead of using -nets and mapping to s n , we could have also used spherical t-designs , the existence of which was proved in .