theorem :: XPRIMES2:3478

canceled;