Arthur merlin protocol application: Prove if NP subset of BPP implies PH collapse