theorem Th4: :: JGRAPH_2:4

1.REAL 2 = <*1,1*> by FINSEQ_2:61;