Proving whole is greater than its parts