Prove BA + AC > BP + PC