[cs/0305035] P is not equal to NP (fwd)