let f be non empty FinSequence of (TOP-REAL 2); :: thesis: ( f is rectangular implies ( f is standard & f is special & f is unfolded & f is circular & f is s.c.c. ) )
assume ex D being non empty compact non horizontal non vertical Subset of (TOP-REAL 2) st f = SpStSeq D ; :: according to SPRECT_1:def 2 :: thesis: ( f is standard & f is special & f is unfolded & f is circular & f is s.c.c. )
hence ( f is standard & f is special & f is unfolded & f is circular & f is s.c.c. ) ; :: thesis: verum