Space S2 | Property P113

is

Automatically deduced from the following: