Prove Fp mul works