P
Initializing...
§3 — $(g_1,g_2,g_3)\in\Sigma_c$ for $c=(2,23A,23B)$ · Prove2Me