Bazani almashtirish matritsasi P, R^m da B1 bazasidan B2 bazasiga koordinatalarni o'zgartiradi. U, V R^m da pastki fazo; dim(U+ V) ≤ m. Kesishma U∩V pastki fazo; uning o'lchami ≤ min(dim(U), dim( V))