Implicitidade I [Sho Higashiyama]