theorem :: XPRIMES2:3732

canceled;