Space S1 | Property P163

is

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T430
T431 ¬
T825
T218
T832
T42
T564
T560
T790
T741