Methods of proof of an implication