theorem Th13: :: AFPROJ:13

for AS being AffinSpace
for X, Y being Subset of AS st X is being_plane & Y is being_plane holds
( PDir X = PDir Y iff X '||' Y )