Math is related to Proof. Proof is a type of Impression. 
you are likely to find Helicopter in/at/on Airport. you are likely to find Bathroom in/at/on Airport. Bathroom is derived from Bath. 
Math <--RelatedTo--> Proof --IsA--> Impression 
Helicopter --AtLocation--> Airport <--AtLocation-- Bathroom --DerivedFrom--> Bath 