A Chabauty-Coleman bound for surfaces - Jerson Caro; Hector Pasten (2021)