下面的查询验证了该结果

• The query shown below verifies this