theorem Th57: :: AFF_4:57

for AS being AffinSpace
for X being Subset of AS st X is being_plane holds
X '||' X by Th28;