4. skladnostni izrek (ssk) - trikotnika sta skladna, ko se ujemata v dveh stranicah in kotu, ki leži daljši stranici nasproti.
Author: Milan Gaberšek

4. skladnostni izrek (ssk) 
Trikotnika sta skladna, ko se ujemata v dveh stranicah in kotu, ki leži daljši stranici nasproti.

A = (0, 0.02038700968228876)
B = (5, 0.02038700968228876)
asx = Line(A, B)
c = Segment(A, B)
B' = Rotate(B, 45*°, A)
α = Angle(B, A, B')
h = Ray(A, B')
d = Circle(B, 6)
D = (2.1307126648683274, 6.347662027972206)
E = (10.298380740893363, 5.072311863277267)
a_1 = Line(D, E)
F = Intersect(d, a_1, 1)
G = Intersect(d, a_1, 2)
e = CircleArc(B, G, F)
C = Intersect(e, h, 1)
a = Segment(B, C)
b = Segment(C, A)