代数的には、"k" 番目の素数formula_6が平衡素数であるとは、次が成り立つことである。