ticket #29: Port of the new class SeparatingAxisTheorem.