Space S13 | Property P16

is

Automatically deduced from the following: