|< < 51 > >|
product(R, product(S, T)) = product(product(R, S), T) join(R, join(S, T)) = join(join(R, S), T)