X n 6 1 n (7/48)

X n 6 1 n