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
T32
T86
T345
T114
T151
T535
T119
T82
T706