DM.LR.2.c: Deduce the best type of proof for a given problem.