The following example extends on that given in (Hardy 1992, 8.5).
以下是（Hardy 1992，8.5）所給出的例子的一個擴展。