Statement

Dopo lunghi e accurati studi sulla congettura di Lollatz, Giorgio ha deciso che è giunto finalmente il momento di creare una nuova congettura egli stesso. Propone quindi la nuova congettura di Bicollatz, descritta dal seguente procedimento. Dati due numeri interi positivi A e B, si ripete il seguente passaggio: (1) se A e B sono entrambi pari, si dividono entrambi per due; (2) se A e B sono entrambi dispari, ciascuno dei due si moltiplica per tre e si aggiunge uno; (3) altrimenti, si aggiunge 3 a quello dei due che è dispari. La congettura dice che ripetendo questo passaggio, si arriva sempre prima o poi a ottenere che A,B = (1,1). Aiuta Giorgio a verificare la sua congettura!