for G being IncProjStr st G is IncProjSp holds
ex A, B being LINE of G st A <> B