wismec theorem

completed