chens_theorem (85B)
1 # Chens theorem 2 3 https://en.wikipedia.org/wiki/Chen%27s_theorem 4 5 Up: [number_theory]