[Litoral-mate] Re: conjetura abc