theorem :: XPRIMES2:7478

canceled;