Proof without words: An imaginery export by JGEX