Add a theorem about the factorization of an array in the *renewal* subgroup and start to introduce inverse characterization.
Add a theorem about the factorization of an array in the *renewal*
subgroup and start to introduce inverse characterization.

massimo-nocentini/master-thesis,massimo-nocentini/master-thesis