Forcing algebra/Primary ideal/Induced torsor/Fact/Proof