ag-gipp/GoUldI

\left\{3k+4\ \right\}\subset\mathfrak{C}