Micro F1

The identity that makes micro precision, recall and F1 equal has one arithmetic reason — and an example that violates it cannot be real.