On the other hand, if had not believed via, then, given normally reasonable assumptions about self awareness, he would not have believed that he believed it (via M) either, and hence (normally) would not have believed that.