The present invention provides, for example, a compound mentioned below as a medicament for treating or preventing the diseases induced by production, secretion or deposition of amyloid-β proteins.A compound of the formula (I):wherein R1, R2 a, R2 b, R3, R4 a, R4 b, ring A and the dashed lines are defined in the specification,its pharmaceutically acceptable salt or a solvate thereof.