[Litoral-mate] conjetura abc