test(Theorem): add some tests to robust.
feat(Theorem): implemented constructor with fixture type.
refactor: can be private instead, public.
feat(Theorem): implement parameterized test with auto data,

not using DataAttribute.