@panlepan @solvemymaths Phew! The proof didn't justify it at all, so I thought I was missing something trivial