Corollary 5. Assuming that:

• $A\subset {[n]}^{(r)}$ with $|x\cap y|⁄\equiv r(modp)$, for each distinct $x,y\in A$, where $p<r$ is prime