h3. Explicaţie

...

În exemplul de mai sus, reţeaua stradală a Atenei este formată din $6$ intersecţii legate prin $6$ drumuri, în timp ce reţeaua stradală a Spartei este formată din $3$ intersecţii legate prin $3$ drumuri.
 
Prima proprietate enunţată de Parmenide este verificată deoarece $6 ≥ 2 * 3$. Cum Atena nu conţine intersecţii incidente cu cel puţin $3$ drumuri, şi a doua proprietate enunţată este verificată.
 
Putem alege mulţimile disjuncte două câte două şi nevide. Pentru drumul dintre $7$ şi $8$ există un drum între $1$ şi $2$, pentru drumul dintre $8$ şi $9$ există un drum între $2$ şi $3$ iar pentru drumul dintre $9$ şi $7$ există un drum între $4$ şi $3$. Prin urmare, conform definiţiei dată de Pericle reţeaua stradală a Spartei este inclusă în reţeaua stradală a Atenei.

== include(page="template/taskfooter" task_id="atena") ==