mathematical proof in defense