7 ^/. X X X n /. 
