discretemathematicsproof