The present invention relates to an agent for treating or preventing disease induced by production, secretion and/or deposition of amyloid β protein, for example, a compound of formula (I), wherein, R1, R2a, R2b R3, R4a, R4b, ring A, and dashed line are described in this specification, its pharmaceutically acceptable salt or a solvate thereof.
