generated at
右単位律