Rear is related to Back. Back is the opposite of Leave. 
Proof is a type of Measure. Measure is related to Population. 
Rear <--RelatedTo--> Back <--Antonym--> Leave 
Proof --IsA--> Measure <--RelatedTo--> Population 