Talk:Vauban/@comment-149.35.35.185-20161229003737

So it happened. It's probably easier to get the prime than the normal.

GG