3 ms·FWIW, not having done a proof since about 1982, it doesn't help me either.by lproven 2y agoFWIW, not having done a proof since about 1982, it doesn't help me either.