Classicality of overconvergent modular symbols by Fabrizio Andreatta