Proof study day on ideal elements, REHSEIS