I want to show that if the t-design , that is the Steinersystem , exist then or .
My first step is to calculate
How can I use these numbers to show that or mod ?
Thanks
Questions like these have close to zero chance of being answered because you don't give definitions for the different terms you are using, and clearly what you are discussing requires very specific domain knowledge.
For a better chance at receiving an answer, make sure you define the terms you use or at the very least point to a website with complete definitions of all the terms you use.