Una classe con metodi statici di implementazione dei teoremi, e primo test.
Partial (before refactor).
Refactor.
Fix in angle from segments.
Fix refactor.
Demo problem (without thesis).