Space S12 | Property P16

is

Automatically deduced from the following: