Disclosed is a compound or the like which serves as a prophylactic or therapeutic agent for diseases induced by the production, secretion and/or deposition of amyloid β protein. Specifically disclosed is a compound represented by formula (I), a pharmaceutically acceptable salt thereof, or a solvate of the compound or salt. (In the formula, R1, R2a, R , R3, R4a, R4b, ring A and broken line are asA defined in the description.).La presente invención proporciona, por ejemplo, un compuesto mencionado más adelante como un medicamento para tratar o prevenir las enfermedades inducidas por la producción, secreción o depósito de proteínas amiliodes ß. Un compuesto de la fórmula (I): (Ver Formula) en donde R1, R2a, R , R3, R4a, RA4b, anillo A y las líneas punteadas se definen en la especificación, su sal falmacéuticamente aceptable o un solvato del mismo.