代数幾何は射影幾何の一部では?