Az a) bizonyítandó például negyedelő pontok esetén igaz, b) mindig igaz, ha |BD_1| = |MD_2| -vel.