Theory is related to Math. Math is related to Proof. Proof is related to Prove. 
Exercise is related to Body. Body is related to Committee. 
Theory <--RelatedTo--> Math <--RelatedTo--> Proof <--RelatedTo--> Prove 
Exercise <--RelatedTo--> Body <--RelatedTo--> Committee 