以下ではaの略号で表わす。