Space S170 | Property P3

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
T345
T6
T535
T35
T7
T329
T121
T136
T328
T122
T347
T127