frivolous theoremof arithmetic