Space S3 | Property P52

is

References