2x Wismec Theorems

completed