The present invention provide a medicament for treating the diseases induced by production, secretion or deposition of amyloid-β proteins, for example, a compound of the following formula (I) wherein R1 R2a, R2b, R3a, R3b R4a, R4b, ring A, Y and the dotted line are defined in the specification, its pharmaceutically acceptable salt or a solvate thereof.