BCA-2 Leibnitz  Theorem by Mkyadav Coc& jdw