Compact tree of Jane Proof