/// <summary>
/// Initializes a new instance of the <see cref="TrivialTheoremProducer"/> class.
/// </summary>
/// <param name="constructor">The constructor used to construct underlying configurations of composed constructions.</param>
/// <param name="finder">The theorem finder used to determine theorems of composed constructions.</param>
public TrivialTheoremProducer(IGeometryConstructor constructor, ITheoremFinder finder)
{
_constructor = constructor ?? throw new ArgumentNullException(nameof(constructor));
_finder = finder ?? throw new ArgumentNullException(nameof(finder));
}
