theorem :: XPRIMES2:2478

canceled;