Embedding Proof Applet