The full imbedding theorem | lit.salon