theorem :: XPRIMES2:3472

canceled;