theorem :: XPRIMES2:2542

canceled;