Space S123 | Property P4

is

References