Questo documento descrive in forma strutturata e personale la logica aritmetica alla base del metodo GC57 per la fattorizzazione dei semiprimi. Non si tratta di un enunciato accademico ma di un contributo tecnico aperto alla comunità per eventuali riflessioni e sviluppi. La formalizzazione proposta evidenzia il funzionamento aritmetico del metodo e la sua applicazione alla fattorizzazione deterministica. In questa versione è stato corretto un errore di formattazione causato da un copia e incolla non corretto dell’indice, che generava ripetizioni anomale di variabili (es. B−1B−1B−1). Il contenuto matematico, logico e sperimentale del metodo GC57 rimane invariato. La modifica è puramente tipografica e non influisce sulla struttura o validità del documento.