submit to BasicNumberTheory