Add first draft of proof for FORPI conjecture