Space S22 | Property P8

is

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T667
T54
T674
T572
T35
T118
T143
T282
T283