いや、面白がらせようとして書いたわけではない。
「バグの不在は（少なくとも現実的な手間では）証明出来ない」
ということを知らない人がいるみたいだから。