The present invention aims to provide a homocysteine synthase inhibitor useful for the prophylaxis or treatment of diseases involving homocysteine synthase. The present invention relates to use of a compound represented by the following formula (I) wherein each symbol is as defined in the DESCRIPTION, or a pharmacologically acceptable salt thereof, or a solvate thereof as a homocysteine synthase inhibitor.