Space S168 | Property P37

is

Automatically deduced from the following: