Alex Citkin2025-03-112025-03-11https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10744An Algebraic Proof of the Nishimura Theoremsupplierxml