theorem :: XPRIMES2:7812

canceled;