6 ms·And then we have Grothendieck's prime (57), just to keep life interesting.by jpmattia 4y agoAnd then we have Grothendieck's prime (57), just to keep life interesting.