( 2 is heavy & not ((a / b) + (b / a)) / 2 is light ) ;
hence (a / b) + (b / a) is heavy ; :: thesis: verum