Space S35 | Property P24

is

Automatically deduced from the following: