In reply to @stecks

@stecks @standupmaths well, now I know how I'm ending my next proof by counterexample. #notallintegers