maximal tori theorem

Input interpretation

maximal tori theorem