theorem Th25: :: AFF_4:25

for AS being AffinSpace
for a, b, c being Element of AS
for X, Y being Subset of AS st X is being_plane & Y is being_plane & a in X & b in X & c in X & a in Y & b in Y & c in Y & not LIN a,b,c holds
X = Y