Comprobar

¡Muy bien, enhorabuena!

No es correcto, inténtalo de nuevo

A = (4, 7)
pol, a, b, c, d, e, g, h, i, j, k, l, m = Polygon(A, A + (12, 0), A + (16, -4.01), A + (16, -8), A + (12, -8), A + (12, -12), A + (8, -12), A + (8, -8), A + (0, -8), A + (0, -12), A + (-4, -12), A + (-4, -4.01))
S3 = PointIn(pol)
S4 = Point(pol)
S2 = PointIn(pol)
S1 = Point(pol)
candidato: {S1, S2, S3, S4}
sol: {A + (4, 0), A + (4, -4), A + (8, -4), A + (8, -8)}
resuelto: candidato ≟ sol ∨ Reverse[candidato] ≟ sol
visible = false
f = PolyLine(S1, S2, S3, S4)
cua1 = Sequence(Segment[A + (s - 4, s - 4), A + (s - 4, -12)], s, 1, 4)
cua2 = Sequence(Segment[A + (s, 0), A + (s, -8)], s, 1, 8)
cua3 = Sequence(Segment[A + (s + 8, 0), A + (s + 8, -12)], s, 1, 4)
cua4 = Sequence(Segment[A + (s + 12, -s), A + (s + 12, -8)], s, 1, 3)
cua5 = Sequence(Segment[A + (-s, -s), A + (12 + s, -s)], s, 1, 4)
cua6 = Sequence(Segment[A + (-4, -s - 4), A + (16, -s - 4)], s, 1, 4)
cua7 = Sequence(Segment[A + (-4, -s - 8), A + (0, -s - 8)], s, 1, 3)
cua8 = Sequence(Segment[A + (8, -s - 8), A + (12, -s - 8)], s, 1, 3)